Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
51	Palmieri_OldFormatBrochures_ADA.pdf Add to Reading List Source URL: palmierifurniture.com Language: English - Date: 2014-11-02 10:36:32 Software engineering Computing Programming language theory Chairs Wheelchair Americans with Disabilities Act Accessibility Ada
52	A geographic data model based on HBDS concepts: The IGN Cartographic Data Base Model Francois Salge - Marie NoSlle Sclafer Institut Geographique National - France B.P, Av. Pasteur Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-30 00:32:50 Computing Software engineering Object-oriented programming Graph theory Graph Data model Object Class Vertex Web Ontology Language Attribute Object-based spatial database
53	Dozer Ultra-Low Power Data Gathering in Sensor Networks Nicolas Burri Pascal von Rickenbach Roger Wattenhofer Add to Reading List Source URL: disco.ethz.ch Language: English - Date: 2014-09-26 08:36:23 Computing Programming language theory Wireless sensor network Software engineering International Conference on Information Processing in Sensor Networks Rickenbach Pascal ETH Zurich
54	© Bjarne Stroustrup, D-R-A-F-T Instructor’s notes Add to Reading List Source URL: stroustrup.com Language: English - Date: 2011-10-07 14:43:41 Software engineering Computer programming Programming language theory Object-oriented programming languages Object-oriented programming Procedural programming languages IBM software C++ Cross-platform software Const This ALGOL 68
55	RSNA 2015 – RCA22 A Practical Introduction to Structured Reporting Tools and Resources DICOM Structured Reports (SR) David Clunie () PixelMed Publishing Add to Reading List Source URL: www.dclunie.com Language: English - Date: 2015-12-12 10:30:13 Medical imaging Telehealth Computing Software engineering Programming language theory DICOM Region of interest Knowledge representation Constructible universe ALGOL 68 Tree Vendor Neutral Archive
56	Designing And Delivering Customized Programs With Impact Elizabeth Weldon, PhD www.ExecEdWithImpact.com In this report, I describe the results of a UNICON survey designed to identify the key Add to Reading List Source URL: www.execedwithimpact.com Language: English - Date: 2016-05-17 13:26:48 Software engineering Computer programming Programming language theory Icon Public-domain software Executive education Unicon Survey methodology Surveying
57	Guidelines for Illinois Center for Transportation (ICT) Reports (updated MarchReports should fulfill project objectives set forth in the contract, show adequate documentation, and be presented clearly. To assist P Add to Reading List Source URL: ict.illinois.edu Language: English - Date: 2016-03-14 10:20:52 Software engineering Programming language theory Computer programming ALGOL 68 IPCC Second Assessment Report
58	Practical Reflection in Nuprl Eli Barzilay Stuart Allen Robert Constable Add to Reading List Source URL: barzilay.org Language: English - Date: 2003-03-26 22:21:47 Software engineering Programming language theory Declarative programming Automated theorem proving Logic programming Type theory Lambda calculus Formal methods Higher-order abstract syntax Nuprl Lisp Substitution
59	C SLA HAMB APK RE 3 AM ER 3 Add to Reading List Source URL: www.parc-schlumberger.be Language: English - Date: 2016-08-02 09:05:41 Software engineering ATS Computer programming Programming language theory
60	Dependent Types in Practical Programming Hongwei Xi December 6th, 1998 Department of Mathematical Sciences Carnegie Mellon University Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 1999-11-28 18:07:44 Software engineering Programming language theory Computing Type theory Functional languages Logic in computer science Programming paradigms Models of computation Denotational semantics Type system Programming language Constraint programming